Simple formula for pooling knowledge about a quantum system

A simple formula for pooling knowledge about a quantum system

When various observers obtain information in an independent fashion about a classical system, there is a simple rule which allows them to pool their knowledge, and this requires only the statesof-knowledge of the respective observers. Here we derive an equivalent quantum formula. While its realm of applicability is necessarily more limited, it does apply to a large class of measurements, and we...

Reasoning About Quantum Knowledge

We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum computation. While we rely on structures developed in [1], we stress that our notion of quantum knowledge makes sense more generally in any agentbased model for distributed quantum systems. Several arguments are given to support our view that an agent’s possibility relation sho...

A simple logic for reasoning about incomplete knowledge

The semantics of modal logics for reasoning about belief or knowledge is often described in terms of accessibility relations, which is too expressive to account for mere epistemic states of an agent. This paper proposes a simple logic whose atoms express epistemic attitudes about formulae expressed in another basic propositional language, and that allows for conjunctions, disjunctions and negat...

Knowledge-Concealing Evidencing of Knowledge about a Quantum State

Bob has a black box that emits a single pure state qudit which is, from his perspective, uniformly distributed. Alice wishes to give Bob evidence that she has knowledge about the emitted state while giving him little or no information about it. We show that zero-knowledge evidencing of such knowledge is impossible in quantum relativistic protocols, extending a previous result of Horodecki, Horo...

A Simple ELISA System for Detection of hIFN-y